Total Books: 1 - 2 /2
Implementation and Application of Automata (vol. # 3845)
This volume of the Lecture Notes in Computer Science series contains the notes of the two invited lectures, the 26 papers ...
Lire la suite
Tools and Algorithms for the Construction and Analysis of Systems : 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
The book is organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed ...
Lire la suite
Total Books: 1 - 2 /2
